L16: Unrecognizable Languages And Reductions